On Löb algebras, II
نویسندگان
چکیده
We study the variety of Löb algebras, the algebraic structures associated with Formal Propositional Calculus. Among other things, we show that there exist only two maximal intermediate logics in the lattice of intermediate logics over Basic Propositional Calculus. We introduce countably many locally finite sub-varieties of the variety of Löb algebras and show that their corresponding intermediate logics have the interpolation property. Finally, we characterize all chain basic algebras with empty set of generators, and show that there are continuum many such chain basic algebras. Mathematics Subject Classification: Primary 03G25, 03D20; secondary 03B20.
منابع مشابه
Free Algebras for Gödel-Löb Provability Logic
We give a construction of finitely generated free algebras for Gödel-Löb provability logic, GL. On the semantic side, this construction yields a notion of canonical graded model for GL and a syntactic definition of those normal forms which are consistent with GL. Our two main techniques are incremental constructions of free algebras and finite duality for partial modal algebras. In order to app...
متن کاملHvMV-ALGEBRAS II
In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.
متن کاملAdditive maps on C$^*$-algebras commuting with $|.|^k$ on normal elements
Let $mathcal {A} $ and $mathcal {B} $ be C$^*$-algebras. Assume that $mathcal {A}$ is of real rank zero and unital with unit $I$ and $k>0$ is a real number. It is shown that if $Phi:mathcal{A} tomathcal{B}$ is an additive map preserving $|cdot|^k$ for all normal elements; that is, $Phi(|A|^k)=|Phi(A)|^k $ for all normal elements $Ainmathcal A$, $Phi(I)$ is a projection, and there exists a posit...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملON SELBERG-TYPE SQUARE MATRICES INTEGRALS
In this paper we consider Selberg-type square matrices integrals with focus on Kummer-beta types I & II integrals. For generality of the results for real normed division algebras, the generalized matrix variate Kummer-beta types I & II are defined under the abstract algebra. Then Selberg-type integrals are calculated under orthogonal transformations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 20 شماره
صفحات -
تاریخ انتشار 2012